Amsterdam Optimization Modeling Group LLC Erwin Kalvelagen DATA AND SOFTWARE

Source URL: www.gams.com

Sixth International Symposium on Tunnel Safety and Security, Marseille, France, March 12-14, 2014 Development of tunnel simulation software aiming at optimization of tunnel control operations Evangelos Krokos1 & Matthia

Source URL: www.hbi.ch

Optimization of Electrical Production The production of electricity in France is optimized everyday with the help of a mathematical software developed at Inria, in collaboration with EDF R&D. Substantial performance is a

Source URL: www.inrialpes.fr

Buffer Pool Aware Query Optimization Ravishankar Ramamurthy David J. DeWitt Department of Computer Sciences, University of Wisconsin-Madison Madison, USA

Source URL: www-db.cs.wisc.edu

• Data management
• Computing
• Software
• Database management systems
• SQL
• Database theory
• Query optimization
• Join
• Query plan
• Extensible Storage Engine
• Full table scan
• Database index

Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

Source URL: peek.uwplse.org

• Computing
• Software engineering
• Software
• Compiler optimizations
• Programming language implementation
• Compiler construction
• Formal methods
• Logic in computer science
• CompCert
• Low-level programming language
• Peephole optimization
• Formal verification

Locality optimization in JavaParty by means of static type analysis Michael Philippsen and Bernhard Haumacher University of Karlsruhe, Germany and Abstract

Source URL: www.haumacher.de

• Computing
• Software engineering
• Computer programming
• Java
• Object-oriented programming languages
• Object-oriented programming
• Concurrent programming languages
• Cross-platform software
• Clone
• This
• Software design pattern
• Method

Precise Automatable Analytical Modeling of the Cache Behavior of Codes with Indirections ´ DOALLO DIEGO ANDRADE, BASILIO B. FRAGUELA, and RAMON Universidade da Coruna

Source URL: www.des.udc.es

• Software engineering
• Computer programming
• Computing
• Compiler optimizations
• Cache
• Computer memory
• Locality of reference
• Software optimization
• Optimizing compiler
• For loop
• Infinite loop
• Ada

TelegraphCQ: Continuous Dataflow Processing for an Uncertain World+ Sirish Chandrasekaran, Owen Cooper, Amol Deshpande, Michael J. Franklin, Joseph M. Hellerstein, Wei Hong*, Sailesh Krishnamurthy, Sam Madden, Vijayshank

Source URL: db.lcs.mit.edu

• Computing
• Data management
• Software
• Database management systems
• Database theory
• Query languages
• Data stream management system
• Relational database management systems
• Relational database
• PostgreSQL
• Dataflow
• Query optimization

Design of Parallel and High Performance Computing HS 2013 Markus P¨ uschel, Torsten Hoefler Department of Computer Science ETH Zurich

Source URL: spcl.inf.ethz.ch

• Algebra
• Computing
• Mathematics
• Software optimization
• Parallel computing
• Roofline model
• Software testing
• Matrix multiplication
• NC
• Matrix
• Lookup table
• Matrix multiplication algorithm

Static Prediction of Worst-case Data Cache Performance in the Absence of Base Address Information Diego Andrade, Basilio B. Fraguela and Ram´on Doallo University of A Coru˜na, Spain {dcanosa,basilio,doallo}@udc.es

Source URL: www.des.udc.es

• Cache
• Compiler optimizations
• Computing
• Computer architecture
• Computer memory
• Computer engineering
• Locality of reference
• Software optimization
• Cache replacement policies
• Loop optimization
• Memory hierarchy
• Loop interchange